What is Behind UML-RT?
نویسندگان
چکیده
The unified modeling language (UML) developed under the coordination of the Object Management Group (OMG) is one of the most important standards for the specification and design of object oriented systems. This standard is currently tuned for real time applications in the form of a new proposal, UML for Real-Time (UML-RT), by Rational Software Corporation and ObjecTime Limited. Because of the importance of UML-RT we are investigating its formal foundation in a joint project between ObjecTime Limited, Technische Universität München and the University of Bucharest. Our results clearly show that the visual notation of UML-RT is not only very intuitive but it also has a very deep mathematical foundation. In a previous paper (see [GBSS98]) we presented part of this foundation, namely the theory of flow graphs. In this paper we use flow graphs to define the more powerful theory of interaction graphs. 74 Chapter 6
منابع مشابه
The future of UML
This document describes the background behind the Requests for Proposals for UML 2.0 as being issued by the OMG. This includes both an internal upgrade of the UML structure, and extensions that users find lacking in the current UML. The corresponding presentation will focus mostly on the latest developments in industry what all these changes mean for end users, i.e. the UML modeller.
متن کاملSpecifying Services with UML and UML-RT: Foundations, Challenges and Limitations
The key to systematic development of complex, reactive systems is to have a thorough understanding of the services the system provides. A service, in our view, is defined by the interplay among components required to establish a certain result. Services shift attention from the details of individual components to a global view of the system. We give a formal definition for the notion of service...
متن کاملWhat Is The Driving Force Behind Industrial Development In Iran? Rent Seeking And Labor Exploitation As The Driving Force Of Industrial Growth
متن کامل
Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite
Model checking of complex time extended UML (UML/RT) models is limited today due to two main obstacles: (1) The state explosion problem restricts the size of the UML/RT models which can be addressed and (2) standard model checking approaches cannot be smoothly integrated into the usually incremental and iterative design process. The presented solution for incremental design and verification wit...
متن کاملA CSP View on UML-RT Structure Diagrams
UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level, defining the overall system structure. In this paper we propose to use UML-RT structure diagrams together with the formal method CSP-OZ combining CSP and Object-Z. While CSP-OZ is used for specifying the system components them...
متن کامل